correct compilation error (on old g++)