Fix failing defaultinittestcase
6 files changed