Minor string tweak.

Looks like we can't fix this anyway, since it's upstream.