Gawd. And it's just happened again and searching for the solution it took me back here so I'll take the chance to complete the solution (for the next time it happens to me!)
Power off phone. Start the device with volume down and power pressed simultaneously.
Select option 'Reboot in Android...