chiark / gitweb /
import: three minor fixes