Exploring possible sign error in SICP