Update phpdoc in functions.php

See #11