v0.0.10: bug fix