Fix prettify! examples