Small corrections for texlive 2014