Suppose a plan document was drafted and executed to allow both pre-tax and Roth deferrals, but the sponsor wasn't ready to handle Roth yet internally so the initial enrollment materials did not show that Roth was even available, but the SPD did describe Roth. About 3 months after the plan had been in effect, they communicated that the Roth deferral option was not available to the participants. What do eligible employee participants "get" or what is the correction?