Oops. Deleted a theme from my system forgetting that I was using it as a temporary mobile theme. All better.