A redundant check is removed.