fix #572