Many hot fixes. Released as v0.1.2.