Fix hardcoded string in libsyntax