I wouldn't worry about it. Restart and be concerned if it happens again