Shouldn't it be `x_0`?