Correct name in CONTRIBUTORS file.