Documentation: A few minor fixes to Git User's Manual