Fixed a pair of wrong assertions.