fix extra ";" warning