This is once instance where the auto-formatter makes an unfortunate choice :/