Fixes to documentation