Fix outdated documentation for users-setup