Issue #31: Shorten GPL header