Found a small bug in this sequence