Removed errant 'import time' statement in minibuffer.py