Delete spurious comma (in Eliezer's part)