line to give the program's name and a brief idea of what server hosts the Corresponding Source along with the input cover is not better