Issue #25: some tests at DeltaTest.