AUTHORS: Fix file name in comment.