Debug line moved.

A debug line used to print the type of a variable was removed
(useless from now on).