fix #1512