Fix shell prompt

I had accidentally put one extra "\[" in there. In konsole, the KDE
terminal application, it was impossible to notice, but gnome-terminal
showed a weird square glyph... Now it is fixed.