Small documentation typo and fixes