Redundant assertion?