minor changes to documentation files