Added Ben to AUTHORS. Thanks a lot!