GH715: ENGINE_finish can take NULL