goobi/goobi-production — pull request #202 by stweil (2014-09-12 08:23:59+00:00)
Title: Small fixes (typo in header, file endings)

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