improve console output; cosmetics