This formatting was just changed in #1209 and #1210, this shouldn't be reverted