Nathan Helm-Burger comments on Fixing The Good Regulator Theorem