Several documentation fixes