Fixed a symbol mistake