Correct ignore-hosts-file operation

This fixes a couple of minor problems which stopped this option from working.