Mentioned Miguel in the AUTHORS for his patches