little bug fix @ editor.php