pubsub_aux.lib: fix syntax error.