Brief option

Minor change that speeds up parsing a 1.4MB json query (from nagrestconf) from 2m30s to 20s.