diff --git a/src/asciidoc/web-websocket.adoc b/src/asciidoc/web-websocket.adoc
index b47c9a7df12..9f6c176fb09 100644
--- a/src/asciidoc/web-websocket.adoc
+++ b/src/asciidoc/web-websocket.adoc
@@ -1763,7 +1763,7 @@ user and associate it with subsequent STOMP messages on the same session:
                   MessageHeaderAccessor.getAccessor(message, StompHeaderAccessor.class);
 
               if (StompCommand.CONNECT.equals(accessor.getCommand())) {
-                  Principal user = ... ; // access authentication header(s)
+                  Authentication user = ... ; // access authentication header(s)
                   accessor.setUser(user);
               }