Add missing credits to Benjamin Kaiser