Minor bug in Shell.java