Fix #920: Correct return-type lifting for exported methods