slightly improved messages in main