it's a bad idea to format a command line argument here for printing it later nicely ;)