one last pygments batch syntax update