improved output formatting of Docker file output