Commit 8a2b690c0a311b000074b18b2bd460db9da293d0

Werner Lemberg 2014-04-18T10:17:49

Minor documentation fix.