Fix doc typos found by Stephan T. Lavavej