fix a symbol error