Debugging some tests