You did the right thing. I manage a small fleet of vehicles with a mix of gasoline and diesel vehicles and always worry that someone will do this, BUT hope that thay are smart enough to realise the mistake before driving off and calling me to tell me the vehicle is running bad. Everyone makes mistakes don't stress.