Tiniest fix for `killsession` errors in WAMP1