Fix trivial but significant typo

In case people copy and paste ... I assume this is necessary.