Little changes to documentation