incorporate work-around for bug fixed by barry on 4 oct (see email)