Removed the debugging symbol