Nexus: cast token to upper case so that it can be used elsewhere