v0.1.2

fix trivial bugs