Fixing breakage from reformatting