minor fix #13