fixed setf example