Update POPL.md

spacing