Version bump to (4, 0.1.2)