bug fix #4