Incorrect call to variable_get_value()

Not an actual bug, as this did not cause any issues (not yet anyway) but I noticed the following call to variable_get_value()

<?php
function variable_set_value($name, $value, $options = array()) {
  $old_value = variable_get_value($name, NULL, $options);
?>

and the function variable_get_value() only takes two parameters:

<?php
function variable_get_value($variable, $options = array()) {
?>

so looks like the call should be:

<?php
function variable_set_value($name, $value, $options = array()) {
  $old_value = variable_get_value($name, $options);
?>