Fix minor documentation typo

This is actually correct