Bug fix in RFC6455