Unneeded checking is removed.