Trivial string change

Unreviewed given the triviality. Fix #3356