fix code style (#997)