Corrected some symbol names