Minor changes at the documentation.