fixing an inconsistency with ExtLib.