v0.1.12; fix bugs