fix ";"