Minor adjustments to Named WebSockets Test Console interface