[racket-dev] Check-syntax glitch?

Hello,

(for company firewall reasons I cannot use the bug report facility.
Please bear with me).

Racket version 5.2.1;
Environment: windows "Windows NT 6.1 (Build 7601) Service Pack 1"
(win32\i386\3m) (get-display-depth) = 32;

If I put the following text in a buffer:

====
#lang racket

(struct foo (a))

(define (bar x)
  (match x
    ((foo #f) 0)
    ((foo #t) 1)))
====

Running check-syntax, the "foo" in the first branch of the match is
linked to the struct definition, while the foo in the second branch is
not linked.  Is this the intended behaviour or there is a mistake?

Cheers
P.