set default of isub matcher to 0.7. Suggested by Joachim Neubert.