mkIHCI fix.

        And a little more documentation.
Utils.