This is super messy, but I fixed the pubsym issue.