Some tweaks in the documentation.