Minor changes to the documentation