added missing copyright notice and encoding