(substitute-key-definition): Doc fix.