Fix bug in DefaultInitializer