Note that TomDoc is used