Cleanup an unused variable.
(Also a shameless commit to kick off a CI build.)