Fix a renamed file that snuck in.

My previous commit had a file in the index that shouldn't have been
there. Oops. It's been fixed.