Bugfix in ping.py