Fix issue with Github permalink format.