fix #513