tigre-1.16.1: more informative error messages