Fix tiny documentation typos