fix errata; profile ui.js pygments corrections