Formatting fix, for AUTHORS.