fix copyright banner, report an error to client on illegal variable name