(EMPTY) was unnecessary, should be simply EMPTY.