Testing: fix typo in 8a5a7bd3