Some documentation fixes

Update