Added Thomas Stols to AUTHORS.