I just added it to bring it in line with the rest of the examples. I agree there is no need for the duplication. I just didn't feel confident making that call.