Fix bug #424 Wrong circular inclusion detection.