fixed accidental JS style comments in copyleft banners