Fix prettify! examples

[ci skip]