correct editor instantiation, fixes #3824