Fix traceback in the Gecko script.