update version number to v0.1.2