minor fix #688