chiark / gitweb /
Remove a redundant line of code.