Commit a45b701a59606d3baebff8b822d6d28f6526c69e

Werner Lemberg 2014-11-27T12:18:34

Minor documentation update.