More minor changes to doc