Update AUTHORS file to give credits to @benkonrath too