fix irc.freenode.net #sicp link