trivial bug fix