A few style nits in the docs