Minor error in assertion