Fix #419: Constructor export emits wrong DCE info.