fix doc warnings

14 months ago, Markus Fischer