Guillaume, you are spot on.

I re-read http://www.apache.org/dev/licensing-howto.html again, and
checked the binary and source packages, they are all good.

My +1 !