a few latex changes, and add erc