Using PROGNAME in a couple more places
Updated the copyright line