Corrected assertions.