Add a forgotten ";"