Syntax highlighting changed to use 'minted'