minor edit to get rid of debugging statements