minor change to functions.php