fix trivial bug