Added a debugging symbol