Fix formatting for #2560