COPYING: mention void, not just 3 names.