It seems like this diff is part of their work then, no?