Mike: adjusted old comment