fix an oversight