minor polishing

2 jobs for mean_pressure_merge in 7 minutes and 48 seconds (queued for 7 seconds)
Status Name Job ID Coverage
  Build
passed mfbuild #86110

00:02:06

 
  Test
passed mftests #86111

00:05:41