bug fix #4.