We do not use this comma-prefixed notation in Techniques. Since you have reindented and reformatted a lot of this file already, please fix that at the same time (same as below).