Fixes link to Erdős