I don't think that's plausible. More likely the match was 50% of the first 6% of salary employees deferred. That would require an employee to earn $300,000 in order to see a maximum $9,000 match. Now an employee can receive the full match merely by deferring the maximum amount, regardless of their salary.