bug fix #80