Bugfix in symbol