fix doc warnings

15 months ago, Markus Fischer