Small fixes for the documentation.