minor fix #9