Add missing header.
#23: change module name to pytox to avoid confusion