various documentation fixes