Was this supposed to be here? Looks like your editor is doing something strange.