Fix the public domain declaration