Update the AUTHORS file, and address some code style issues.