docs/core: fixing example where `setf' was used