fix #41: PHP-8.1 compat

No match.