Added some minor details to Slime.java