Bugfix: correctly update editor when loading a specification