These would be better up with the rest of the public arguments (took me a while to spot them after trawling through the public arguments first) but it's not a big issue.