trivial: Give Matthias due credit for his work