A reboot might not be a bad idea, regardless.