fix minor errors in doc