ivy: line numbers in error messages