Cope better when $pub is missing due to error
Update to version v531