Has anyone encountered this problem?

I've got my AD7000W/10 connected via Airplay to my laptop and iphone. It's working fine.

I've also got the Aux input coming from my TV.

When I play over airplay, sound input switches from aux to airplay.

But when I stop airplay, the input will not switch back to Aux (I have to disconnect and reconnect the Aux cable!).

Any ideas on a fix?

Many thanks