Checkout
rjung
committed
on 23 Jul 14
Fix obvious errors. Probably the rest of the
file is outdated as well.