Fix formatting

1 job for 1.8 in 8 minutes and 37 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #16195
build

00:08:37