fix #439