Kernel packages for 4.0.2 claim to be 4.0.0?

[Greg Stark <stark@mit.edu>]

Just wondering but is it intentional that the kernel packages for
4.0.2 have /boot/vmlinuz-4.0.0-1-amd64 and modules in
/lib/modules/4.0.0-1.amd64 ?

I know there are circumstances where the Debian and upstream versions
are intentionally distinct and, for example, sonames needn't match
package versions. But this seems needlessly confusing and risky in
this case and looks, at least to my eye more likely to be an
unintentional oversight than an intentional setting. I don't recall
things being like this in earlier branches like 2.6 or 3.19. Am I
wrong?

-- 
greg