trivial: bug fix