I could have sworn I updated those files locally. Not sure why they aren't showing up in this PR, though. I'll take a look.