Fix AUTHORS in man page