Just to confirm, 2.5.1 has been officially released to via the customer portal on the CoreAVC site and has solved this issue for me.