If you mean that "[3 4 11 11 14 16 22 25]" should be "[3 4 11 11 15 16 22 25]"—yes, that appears to be a typo.

Please let's not build the thread around a triviality, though.