Checkout
buschmi
committed
on 23 Feb 11
fix silly bug that crept in during last trunk merge