Fix line and number on natural assertions