chiark / gitweb /
main: restore an accidentally removed 'else'