Minor corrections to the doc