Restore functions.php, which I managed to fubar somewhere