Allow more symbols in the header text

This is a fix for #5