Several minor bug fixes

Fixed 3 bugs concerning the user interface with getline.cs.

Removed an unnecessary reference detected by mrward, which was accidentally introduced by me in a previous commit.