This is missing a test, which we require for all new extractors. Otherwise, we can't be sure that the extractor still works after code changes.