editnews.php fails with error when CKEditor module is enabled