fix codestyle, see #4