chiark / gitweb /
Correct error message for bad update