Correct double initialization.