A few more formatting fixes for guidelines