Hello Segher, > The comment used to be inside the "if" block, is this > change correct? You'd prefer an empty line in there? > [And, do we want all these changes anyway? I don't care > either way, both sides have their pros and their cons -- > just asking :-) ] You know my opinion already :-) -- Regards, Mariusz Kozlowski