more modifications, renamed TEX to PDF