Updating: improving libats/linmap.
Updating: minor addition.