The user and I are both aware of this case. I'll delete these phantom hosts when their workunits complete. Longer term I'll add something to BOINC so that users have to click on a web page button to increase the number of hosts by another (say) 100.
Bruce
