Issue 5513 - Erroneous example in std.algorithm