This error only occurred on a certain revision of GPS satellites, not all of them. It would have been a problem, except luckily the error was only on a message for determining UTC. The error did not affect the message or clock that are used in determining position.