bug fix #12