another dicky change to get around the heisenbug

fixes GH-120