Quick bug fix for permalink header