Correct encoding implemented