fix #935