Simple documentation fixes