Simplify texpage name printing