Just a minor documentation typo fix