some fixups (bug 944437)