last documentation fixes for today