Just fix their PR

You know what's better than a code review comment? A fix.