(Added missing copyright comments.)