travel: a minor correction to my post about Vienna