Fix bug with hardcoded symbol name