Many documentation fixes