[CSS21] WD 4.1, 4.2: conflict for unclosed comments

For the example

  p { color: blue /* comment

my understanding of the end-of-stylesheet rule (§4.2) is that it's
intended that this be treated as

  p { color: blue /* comment */ }

whereas according to §4.1, the example ends in a BAD_COMMENT token,
which I would expect to invalidate the color:blue declaration.

Put another way, the end-of-stylesheet rule seems to suggest that
BAD_COMMENT tokens can never occur, whereas providing a definition for a
BAD_COMMENT token suggests that they can occur.

If it is intended that BAD_COMMENT tokens trigger malformed-declaration
rules, then I believe the end-of-stylesheet rule needs to be changed to
exclude comments; or if it's intended to be closed as per the existing
end-of-stylesheet rule, then I believe the BAD_COMMENT token needs to be
removed (and the badcomment,badcomment1,badcomment2 macros ought then to
be removed too).

pjrm.