Fixed Spring::padded_distance() and Spring::operator *=