Oklahoma's budget shortfall is not quite $878 million