I also realize this file uses this bad style consistently, so I would gladly accept a patch to fix them ;)