fix logging for ReplTest