Extremely nitpicky style update