More capitalization fixes. Note to future self: use git mv when correcting case typos.