Coin name corrections in printf