Fix a forgotten line.