Change some symbols to ease maintenance.