bug fix #7.