Missing class for #873