Changes in pretty.html