v0.1.2

A few more minor changes.