Remove redundant symbol