fix #642