Shorten the header line.

Fixes #6.