This is perhaps redundant, but for the avoidance of doubt, a reboot does appear to fix the problem too.
This is perhaps redundant, but for the avoidance of doubt, a reboot
does appear to fix the problem too.