chiark / gitweb /
fix wrong variable used in logged string