Tiny bugfix in publish/subscribe extender