Today I learned a new way to say holiday. ;-)
(Don't need to change, I think it's appropriate for the Brazilian trading calendar.)