minor fix #15