Improve error message for deriving