John's fixes to documentation