Reduced-length encoding bug fixed: don't compare IEs when one has a reduced-length encoding