Better sentences for workarounds

Also change host port to 8001 so people can visually tell which is host port and which is guest port.