fix #839