Update headers to never have problematic characters in ids, fixes #64, hopefully