Fix labels of dvips, pstoedit