fix #4092
style