minor clean-up of PubsFlask module