chiark / gitweb /
Minor fix to remote functionality: