version 0.1.9: doc-fix