I was just happy that it worked :-) But of course you are right.
BTW: Both `doctrine.annotation_reader` and `annotation_reader` are working.