Tweaks for release v0.1.2