Fix a trivial mistake