That seems to have done the trick - many thanks!
(version 4.0.467.0 on Windows 7 RTM) I'm currently evaluating ESET with a view to purchase but... Installation seems to block other...
Separate names with a comma.