minor change in Shell.java