fix #4012