correction to gen pbox representation