damn this editor's search/replace interface...