Minor fix to SearchSpec.