Bump version number to v0.1.2,12
Reformatting and some code linting