cleanup (minor things like punctuation, use spaces for docu indenting)