Update the version 0.1.2 with tiny bugfixes