fix a typo in functions.php