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