Add a missing ";"