Fixes link to Erlang's QuickCheck.