Fix XML documentation filename