Fixed bug: one space character at the wrong place... Also removed warning in Header.hs about comment ' '