Probably it would pass years until we see a MongoDB 3.0 :), but you are absolutely right.

Fixed in 2854a87cc3c4f0d42e3efa626df84dc77310a5ba