fix code style, see #16