quick bug-fixing 0.1.1 release.