fix #472