It might be just another server named "instagib". Some guy was playing on your server, then thought "hey cool, I'm going to host this too" and then he used the same servername.