Fix a few filename/spelling errors