hopefully fixing the editor bug, though I have no idea why