some more format fixing (also to test out github pull request feature)