corrigido o ; duplo da especificação