fix minor documentation problems