Extraneous rdoc_file include