* #9: bug fix