fix agricola bug in ts def file