Correcting SICP author Harry's name to Hal