chiark / gitweb /
Fix broken syntax recently introduced; fix whitespace bugs