Fix two issues in the `Database_Result` class