corrections to last commit (v0.1.4.a23)