minor fix #8