You are right @xcoulon. I will make the change.