This isn't tested in the test files below.