Some minor fixes for the gauge docs