Remove useless code in Position::pretty()