another small change toward gentrans output