Fix an editor bug