Added a product version number, and output on DefaultFormatter