fix code style, see #2