fix #4154