fix ");"