Bugfix + test for the Result class