Clarified whether a key is really missing, or just rotated