The thing is that it only happens sporadically, and locking works just fine (I do that routinely whenever I go away from my desk, even at home, and there was never any issue), just shutdown doesn't...