last documentation fixes