Spot on, thank you Marcos
nod 4.2.71.2 client causing bad_pool_header error on Server 2008R2 Service Pack 1
Separate names with a comma.