Fix code block in POPL 23