Commit f4b61a6a5d0940bb360b0fc8cc8952d3478fefad

Nikolaus Waxweiler 2015-08-19T06:51:06

Minor documentation fix.