Fix missing copyright symbol