I think this was just a bad translation on my part. Will fix.