small modification; not functional