Trivial bug change