Print the banner if banner.txt exists.
Rename the type parameter.
Enhance the documentation.