Fixed typo in Doug Lea's surname