Fix a bug in the petrol pump. In the *imperative* bits of it, I might add.