Fix an error in prod.