further documentation fixes