Fixes to documentation.