Okay, no problem. I installed a new O-ring, reassembled it, installed it, primed it briefly (there was no diesel left in the pump), and after about 10 seconds, it started working perfectly again and wasn't leaking anymore. Then I adjusted the pump using VAG-COM, and it was done.