Some documentation changes/fixes