Update functions.php

...and another minor problem.