minor whitespace cleanup, fixes #87