chiark / gitweb /
lint: fix issue found by older version of pyflakes