bug fix and new constructor for DefaultResult