thanks especially for the tip about restarting the system, just in case.