fix duplicate semicolons for existing prompt commands

Whoops. Bugfix.