Another tiny doc adjustment
prepare for 0.1.8 tag