changed copyright string literal to unicode escape