fix an obvious problem