gt3-gi: remove garbage ";"