diff --git a/src/docs/asciidoc/web/web-websocket.adoc b/src/docs/asciidoc/web/web-websocket.adoc
index ab65955828..c323de5bd1 100644
--- a/src/docs/asciidoc/web/web-websocket.adoc
+++ b/src/docs/asciidoc/web/web-websocket.adoc
@@ -1758,7 +1758,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);
               }