Changed some symbol names