Small corrections in AUTHORS and INSTALL