nicer printouts with ":"