minor fixes in ws.c
update cc banner
update cc header