BUGFIX: Removed debugging symbol