do not mangle sequences with dots in headers