Is this constructor needed?