Fixed by a0a9a67b0907afe77845ad03a7dd9e5d050939e7 -- no Githubs will be harmed by this test.