Fixing small docs changes