Sorry - this was just fixed in a recent PR. Can you just reset this file?