chiark / gitweb /
Syntax bugfix in revised "set".