Fixed a comment on generated idxfile.php