version 0.1.9: doc fix