fix doubledot call encoding edgecase