gustafn
committed
on 21 Mar
avoid potential tilde substitution (many thanks to Markus Moser)
stick to varnames used on many other places for the same information