Revised Enskog theory