Some documentation fixes