Fix some wrong type annonations in editor.js