Bug fix: reads of uninitialized data