Another docs typo

Whoops merged in #363 too soon.