Fix POPL spelling mistakes