some docs changes