chiark / gitweb /
Fix type of shift in disorder-choose.