TomDoc interval_value small fix