Fixes in IGES reader