Fix #658: Bug fix: reads of uninitialized data