Simplified some assertions.