Fixed a bad import in the Domino classes