I'm not sure where that change came from. Possibly a bad rebase. I didn't do it.