fix duplicate semicolons for existing prompt commands

Whoops.