Bumped version number for 0.1.2 release.