fix erc-highlight-nicnames being clobbered