I’ve had this a few times on my laptop. Since it’s a very infrequent occurrence, I simply shut down manually like you.