Yes, the reverser was locked out, but the logic in the computer wouldn't allow the pilot to manually deploy the spoilers and stop because he didn't get that thrust lever back to idle. What normally would have been a small mistake became a major one because of the automation.