note that it's /already/ case-insensitive