fix codestyle, see #2