Fix functions.php

Oops.