Bugfix in Stretch.java