Fixed bugs in Stretch.java