Oh, thank you, it's not. It was in the previous example and I forgot to check if it was still necessary. I will remove it.