hosts.lisp, distorted.lisp: Fix records for `richmond'.