setf bug is fixed.