console.py: fix typo in getchar esc sequence handling