Note for myself and/or Gregor: this fix should be propagated to revised_text.