Correct a forgotten error