Fix: encoded euro symbol in code example