small fix in vish editor