Minor changes to AUTHORS and COPYING