Correction segfault lecture trace