a trivial bug fix