Fixes #2765 -- incorrect line number in mappings