I'd say use a muzzle at very least. Not everyone likes dogs and 'if' it happens again the person it bites may not be so cool about it.

I can understand why the dog owners on here are sticking up for it, but in situations like this surely it's best to err on the side of caution.