Editor: add missing space.