Here is a patch correcting 'set-record-type-printer!' documentation.

--
Mathieu Lirzin