Small change in TomDoc