Minor corrections to document