Fix Christoph's name.