fix #2233