Fix syntax in Dining Philosophers.