Completed constructor of DoctorTux