Whoops! length/height should not have changed in karel