name-addr token

Hello,

I'd like to ask a question about something which is not fully clear to me.

RFC2822 specifies the following tokens

name-addr = [display-name] angle-addr

display-name = phrase

phrase = 1*word / obs-phrase

word = atom / quoted-string

This specification would IMHO allow the following for display-name

Bob "Mr Boombastic" Miller

My first thought was that this must be

"Bob \"Mr Boombastic\" Miller"

but that is not mandotory, isn't it? Or in other words: According to the
specification of phrase, it would be perfectly legal to mix atoms and
quoted strings! Correct?

Best Regards,

Oliver