a little change requested by Benny Shor