RF: minor refactoring of _make_vtc_header_dtd

Use ints instead of strings.

This is the idea I was suggesting in the comments on the PR.