Small fixes on the documentation.