closed #1257