fix a symbol