chiark / gitweb /
operation.py: Fix stupid typo in commentary.