Re: Bug in range 512 encoding