Apply @immunda’s formatting fixes over here.