newline changes
whitespace changes

conform to Dasein code-style