Fixed bug in command input.

A superfluous "prompt" function asked the user for arguments twice.