Fixed call to tracef (forgot to remove the stdout parameter)