Improve whitespace handling in mensakoblenz