Changing 4.0.0 to 4.0. I suspect wp.org doesn't handle this well. See #160.