Mike: minor changes