bug fix #9