Version bump (4.0.2)