Commit 25b1330a4debea616a0da3c506fa090f1df9e54a

Nikolaus Waxweiler 2015-11-28T18:07:53

Minor documentation improvements.