some logging for ws.js