Groth: renamings