minor fix #1565