Fix in the playground extensions