Fix an invalid example: missing constructor call