fix #4276