For the sake of the easiness of changing texts.

And also to fix #840