Fix code block in POPL 22