Finalized default constructor