An updated version of the InfiniBand model can be downloaded from here. It incorporates the patch posted to the mailing list on Jan 18.