Some small modifications to AUTHORS and main page of documentation