[Dovecot] feature or bug on delete?

RFC 3501 mentions this:

  The DELETE command MUST NOT remove inferior hierarchical names.
  For example, if a mailbox "foo" has an inferior "foo.bar"
  (assuming "." is the hierarchy delimiter character), removing
  "foo" MUST NOT remove "foo.bar".  It is an error to attempt to
  delete a name that has inferior hierarchical names and also has
  the \Noselect mailbox name attribute (see the description of the
  LIST response for more details).

  It is permitted to delete a name that has inferior hierarchical
  names and does not have the \Noselect mailbox name attribute.  In
  this case, all messages in that mailbox are removed, and the name
  will acquire the \Noselect mailbox name attribute.

This is what dovecot does:

. create foo . OK Create completed. . create foo/bar . OK Create completed.

. list "" "*"

• LIST (\HasChildren) "/" "foo"
• LIST (\HasNoChildren) "/" "foo/bar" . OK List completed. (some other output removed here)

. delete foo . OK Delete completed. . list "" "*"

• LIST (\HasNoChildren) "/" "foo/bar" . OK List completed.

Reading the above section, shouldnt I be seeing a:

• LIST (\Noselect \HasChildren) "/" "foo"

Regards,

Cor