Add Mike to copyright.