Fix integration bugs with Result constructor