Fixed #242 -- update "no proxy" error message.