Thank you for pointing this out. Yes, but this is not needed in this case, so I fix the condition.