quite a trivial bug fix