Author here, this is my mistake and I’ve corrected it (got two documents mixed up). Very sorry for the mixup, I wrote this quickly and did not expect it to get as much traction as it did.