Oops - last minor update to remove spurious debugging trace