fix code style, see #5