Polish spring-websocket code

Minor polish to formatting and assertion messages.