You are right, that is redundant. Thanks for catching it.