Found another undefined read in #6