Trivial bug fix.