Remove Aris' mistaken commit.