Shortening knots