add a missing initialization, should not matter, but safer