Fixing pubsym stuff.