Fix trivial mistake.