A document filename is accepted on the command line now.