Change translation of 'proper tail recursive'
Change translation of 'first argument'