moved verbose() to Stdout