FIXED coding convention violations caught by chktex