Fix an initialization bug