fix #517