Fixing wrapper: used to be broken because of our new #line info