Fixes to errors in docs.