Fix another ancient docs typo