fixes #2604 searching for hosts with digits can lead to unexpected results