TESTS: correct insert-test.red