Fix a small crash…