fix pedantic warning (extra ;)