I'm fine with dealing this as open issue - I'd also be fine if you just wanted to propose some text change and put it in perhaps a seperate pull request. I think it is farilyeasy to clean this up and not really worth og an open issue for the WG.