redundant check is redundant