minor usability fixes for DefaultOption matcher