Removed messy symbol.