Implements #873