Some small docs changes