Fix typo in deriving docs