Minor change in minigol.py