Small changes to the documentation files