fix #833