Minor useless code deletion (useless code was written while fixing #1).