Add proper attribution for #231