bug fix #5