Michal: a few small corrections