another little fix to the testing suite. All this will be superfluous.