Small fixes (typo in header, file endings)

This pull requests includes two patches made on my trip to Braunschweig.