Several improvements to the documentation.