Bug in set-cdr!