v0.2.12; fix bug of 819