CONTRIBUTORS: Add another name.