bug fix #5.