we don't want to increase the version, so set it back to 0.1.2