fix #1135