WTE: be more verbose in output