That should be fine. We need this here to remind localizers not to modify whitespace.