urschrei Fix up docs

[ci skip]

Latest commit e468091

Jan 12, 2019