autotools: fix a typo

This fixes a typo.  It is also for testing the Github notifications.
Nice!