encoding error fixed by Pedro