Fix a little more formatting for #2106