Double initialization?