Fixed a bug in explore.py