bbbradsmith correct 32-bit sequence length in comment