[top] Tiny fix for coin name getter. Maybe.