Well, actually, it appears that my problem was completely unrelated. I went to try your idea, and, having closed my SFTP client for the first time since I started working on this, I had to re-download the functions.php file. It looks like none of my previous changes had successfully uploaded after all. Everything works fine now. Thanks for your help!
