while here: - trim Makefile header - remove indefinite article from COMMENT PR: 173247 Submitted by: Rainer Hurling <rhurlin at gwdg dot de> (maintainer) Feature safe: yes