fix docbook tag for file name