fix trivial mistake