bug fix, #20