Minor  refinement of RefineInput.java
Should have fixed bug if user types single commands such as "edit;" when they should not be single