fix link to Nothing in doc hover