added feedback from POPL that still needs to be addressed

Btw, did you correct the typos that the reviewers pointed out?