Minor fix to downhosts function in .bashrc