fix an oversight in how  is defined