removed redundant restore() definition from console_tools.py