Fixed miscellaneous bug with unexpected symbol