fix domino.h