diff --git a/lib/public/Server.php b/lib/public/Server.php
index 55dbfed578e01..e30d67701f629 100644
--- a/lib/public/Server.php
+++ b/lib/public/Server.php
@@ -15,6 +15,7 @@
  * use whenever possible dependency injections instead.
  *
  * ```php
+ * use OCP\ITagManager;
  * use OCP\Server;
  *
  * $tagManager = Server::get(ITagManager::class);
@@ -24,12 +25,9 @@
  */
 final class Server {
 	/**
-	 * @template T
-	 * @param class-string<T>|string $serviceName
-	 * @return T|mixed
-	 * @psalm-template S as class-string<T>|string
-	 * @psalm-param S $serviceName
-	 * @psalm-return (S is class-string<T> ? T : mixed)
+	 * @psalm-template T
+	 * @psalm-param class-string<T>|string $serviceName
+	 * @psalm-return ($serviceName is class-string<T> ? T : mixed)
 	 * @throws ContainerExceptionInterface
 	 * @throws NotFoundExceptionInterface
 	 * @since 25.0.0