Fix a bug that affected null-initialized integers