Fix trivial mistake