fixed a bug in the tetris domain