fix #639