Ben: fix logging