When Adriaan went to college , he began using his real name .
However , officially his surname remained his mother 's : van Dis .
When van Dis went to college , van Dis began using van Dis ' real name .
However , officially his surname remained his mother 's : van Dis .