Remove another outdated comment.

Also reflected an old filename.

Would be nice if I could do this normally, but GitHub's web-based
commit tool will have to do.