Adds Michael van Tellingen to AUTHORS