Small fix in offline doc tools