v0.5.1.1: bug fix