gustafn
committed
on 06 Jun 18
fix documentation (fix for #3345)