fix code style, see #1