Fixes to documentation files