Restore fancy header in printed version.