Fixing a bad header name in one of the examples