s4:pyldb - Wrong error type (found only after the push)