Fix a useless diff, per Markus.