Fix bug where repeated command would get added to command history.  #4