fix defaulted default constructor