documentation fixes for #5 #6 #7